Company / developer | University of Washington |
---|---|
OS family | Mach-like[1] |
Source model | Open source |
Available programming languages(s) | Modula-3 |
Kernel type | Microkernel[2] |
Official website | SPIN |
The SPIN Operating System is a research project implemented in the computer programming language Modula-3, and is an Open Source project. It is designed with three goals in mind: flexibility, safety and performance. SPIN was developed at the University of Washington.
The kernel can be extended by dynamically loaded modules which implement interfaces. These interfaces are defined by the Modula-3 INTERFACE modules. All kernel extensions are written in Modula-3.
One set of kernel extensions provides an application programming interface (API) that emulates the Digital Unix system call interface. This allows Unix applications to run on the SPIN operating system[3].